(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v6 Bool)
(declare-const v7 Bool)
(declare-const r1 Real)
(declare-const r3 Real)
(declare-const r4 Real)
(declare-const r5 Real)
(declare-const r10 Real)
(declare-const r12 Real)
(declare-const v12 Bool)
(assert (not (forall ((q0 Bool) (q1 Real) (q2 Real)) (=> (or v12 q0 v0 (>= (* 0.53440 r4 r12) r3 r10) v3 (distinct r3 (/ 0.2490684514 r5)) v1 q0) (< r1 q2 (- r5) r10 r4)))))
(assert (exists ((q0 Bool) (q2 Real)) (forall ((q1 Real)) v2)))
(assert (not (exists ((q3 Bool) (q4 Bool) (q5 Real) (q6 Real)) (not (>= q6 (- r5))))))
(assert (forall ((q9 Real) (q10 Real)) v7))
(assert (or v6))
(check-sat)
